$\forall$$T$, $A$:Type, $P$:($A$$\rightarrow$$T$$\rightarrow\mathbb{B}$), $k$:Knd, $i$, $r$, $x$:Id, ${\it es}$:ES. recognizer{-}p(${\it es}$;$T$;$A$;$P$;$k$;$i$;$r$;$x$) $\in$ $\mathbb{P}$